Propositional calculus - PDFSEARCH.IO - Document Search Engine

Propositional calculus
Results: 1046

#	Item
901	Monotonicity, Closure and the Semantics of few Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 12:59:28 Linguistics Quantification Philosophy of language Propositional calculus Interpretation Negation Discourse representation theory Generalized quantifier Proposition Logic Semantics Mathematical logic
902	Purity through Unravelling Robert Hein and Charles Stewart Technische Universit¨ Add to Reading List Source URL: bitschnitzer.de Language: English - Date: 2006-02-22 15:53:09 Mathematics Kripke semantics Natural deduction Modal logic Propositional calculus Sequent calculus First-order logic Structural proof theory Proof calculus Logic Mathematical logic Proof theory
903	Time evolution algorithms for MPS and DMRG. J UAN J OS E´ G ARC´I A -R IPOLL ¨ Q UANTENOPTIK , G ARCHING M AX -P LANCK -I NSTITUT F UR MPS Add to Reading List Source URL: www.mpq.mpg.de Language: English - Date: 2014-05-31 18:03:06 Density matrix renormalization group Entailment Logic Theoretical physics Propositional calculus
904	9124-ImmunAssayFleaTyphusFlyerPages.indd Add to Reading List Source URL: www.fullerlabs.com Language: English - Date: 2013-06-12 19:04:26 Negation Semantics Logic Linguistics Mathematical logic Boolean algebra Propositional calculus Grammar
905	Multi-Agent Belief Revision with Linked Preferences Jan van Eijck1 and Floor Sietsma2 1 Centre for Mathematics and Computer Science (CWI) Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 08:17:56 Philosophical logic Propositional calculus Metalogic Model theory Functions and mappings Interpretation Function Constructible universe Modal logic Logic Mathematics Mathematical logic
906	Model Checking Games for Branching Time Logics Martin Lange and Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:55:06 Logical syntax Metalogic Mathematical logic Propositional calculus Interpretation Well-formed formula Entailment Symbol Partition Logic Mathematics Formal languages
907	Focus Games for Satisfiability and Completeness of Temporal Logic Martin Lange Colin Stirling LFCS, Division of Informatics, University of Edinburgh, JCMB, King’s Buildings, Edinburgh, EH9 3JZ {martin,cps}@dcs.ed.ac.uk Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:57:33 Formal languages Logical syntax Linear temporal logic Temporal logic Interpretation Entailment Substitution Model theory Well-formed formula Logic Metalogic Propositional calculus
908	Propositional Dynamic Logic as a Logic of Belief Revision Jan van Eijck and Yanjing Wang Center for Mathematics and Computer Science (CWI) Kruislaan[removed]SJ Amsterdam, The Netherlands {jve,y.wang}@cwi.nl Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 10:31:51 Philosophical logic Logic programming Propositional calculus Metalogic Model theory Epistemic modal logic Modal logic Interpretation Function Logic Mathematical logic Mathematics
909	Comments on ‘Modal Fixed Point Logic and Changing Models’ Jan van Eijck August 2007 This is indeed a very nice draft that I have read with great pleasure, and that has helped me to better understand the completeness Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 12:37:15 Model theory Propositional calculus Formal languages Substitution Interpretation Modal logic Epistemic modal logic Completeness Linear temporal logic Logic Mathematical logic Metalogic
910	On Semantic Bleaching and Compositionality: Subtraction or Addition? 1 (On the bleaching of "lexical verbs" in Russian negated existential sentences) Vladimir Borschev, University of Massachusetts, Amherst Elena Paduchev Add to Reading List Source URL: linguistics.huji.ac.il Language: English - Date: 2011-03-24 09:27:19 Logic Propositional calculus Negation Semantics Telicity Unaccusative verb Genitive case Mathematical logic Grammar Linguistics Boolean algebra

UPDATE